Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
271	Coalitional Bargaining with Agent Type Uncertainty Georgios Chalkiadakis and Craig Boutilier Department of Computer Science University of Toronto, Toronto, Canada { gehalk, cebly }@cs.toronto.edu Add to Reading List Source URL: www.intelligence.tuc.gr Language: English - Date: 2008-07-19 11:35:54 Game theory Cooperative game Bayesian game Core Extensive-form game Bargaining Solution concept Bayesian inference Determinacy
272	Approximate Contextual Preference Scoring in Digital Libraries Kostas Stefanidis and Evaggelia Pitoura Computer Science Department, University of Ioannina, GRIoannina, Greece {kstef, pitoura}@cs.uoi.gr Abstract Th Add to Reading List Source URL: dmod.eu Language: English - Date: 2013-11-27 13:39:27 Relational model Data management Mathematical notation Tuple Type theory Relation
273	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Type theory Data types Formal methods Functional programming Logic in computer science Symbol Satisfiability modulo theories HindleyMilner type system Geoff Sutcliffe Xi Polymorphism Type variable
274	Concepts and Categories Concepts and Categories II Informatics 1 CG: Lecture 16 Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2016-02-23 08:51:49 Semantics Cognition Learning theory Cognitive science Prototype theory Categorization Type theory Category of being Theory Exemplar theory Concept learning
275	bd destruction of the red rrement of the accumulaI cells by the spleen ina. enis the site of a b n o m 4 ruction. The problem has thprogressively greater Add to Reading List Source URL: pharmacyce.unm.edu Language: English* - Date: 2016-08-17 16:05:56 Medical statistics Biostatistics Hypothesis testing Statistical theory Statistical classification Sensitivity and specificity Medical test Type I and type II errors Prevalence Predictive value of tests Statistical power Likelihood ratios in diagnostic testing
276	A Gentle Introduction to Haskell 98 Paul Hudak John Peterson Yale University Add to Reading List Source URL: www.haskell.org Language: English - Date: 2015-02-01 22:32:43 Type theory Data types Functional programming Functional languages Literate programming Monad Haskell Algebraic data type Pattern matching Kind Polymorphism Type inference
277	Railway English version – SOSI standard 4.0 Railway English version – SOSI standard 4.0 Add to Reading List Source URL: kartverket.no Language: English - Date: 2015-07-22 04:38:38 Data types Object-oriented programming Type theory Object Identifier Subtyping Const
278	Advances in Programming Languages APL7: Haskell, Types and Classes Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-31 23:15:57 Type theory Functional languages Object-oriented programming languages Type systems Data types Haskell Structural type system Duck typing D Type signature OCaml Abstract type
279	293 Doc. Math. J. DMV On the Average Values of the Irreducible Characters of Finite Groups of Lie Type Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-13 07:29:16 Representation theory DeligneLusztig theory Unipotent Springer correspondence Sheaf Cuspidal representation Reductive group
280	propositional logic logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:29 Type theory Automated theorem proving Logic in computer science Formal methods Proof assistants Coq CurryHoward correspondence Lambda calculus Propositional calculus First-order logic

UPDATE